$\forall$$x$,$y$:int\_seg(0; 3). ($\uparrow$rps($x$; $y$)) $\Rightarrow$ ($\neg$($\uparrow$rps($y$; $x$)))